Uses of Interface
edu.uky.ai.lp.logic.Formula

Packages that use Formula

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Formula in edu.uky.ai.lp.logic

Subinterfaces of Formula in edu.uky.ai.lp.logic

Modifier and Type	Interface	Description
interface	Expression	An expression is any logical formula with a truth value.

Classes in edu.uky.ai.lp.logic that implement Formula

Modifier and Type	Class	Description
class	BooleanExpression	The superclass of all Boolean logical expressions.
class	Conjunction	Represents an expression with 1 or more conjuncts which must all be true.
class	Constant	Represents a specific thing in the logical universe.
class	Disjunction	Represents an expression with 1 or more disjuncts, at least one of which must be true.
class	Fact	A fact is an individual atomic logical statement in function-free predicate logic.
class	NAryBooleanExpression	The superclass of any Boolean expression with multiple arguments.
class	Negation	Represents an expression whose opposite is true.
class	Term	The superclass of all logical expression representing specific things in the universe.
class	Variable	Represents a place-holder term which can be bound to any constant.

Methods in edu.uky.ai.lp.logic that return Formula

Modifier and Type	Method	Description
Formula	Formula.substitute(Unifier unifier)	Return a version of this formula with its variables replaced with the values assigned to them by a unifier.

Methods in edu.uky.ai.lp.logic with parameters of type Formula

Modifier and Type	Method	Description
Unifier	BooleanExpression.unify(Formula other, Unifier unifier)
Unifier	Constant.unify(Formula other, Unifier unifier)
Unifier	Fact.unify(Formula other, Unifier unifier)
Unifier	Formula.unify(Formula other, Unifier unifier)	Unify this formula with another formula, adding to a given unifier as needed to make the two expression the same.
Unifier	Variable.unify(Formula other, Unifier unifier)